Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
41	Freedom and Possibility G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as thoug Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Religion Philosophy of religion Philosophical logic Arguments for the existence of God Ontology Enlightenment philosophy Problem of future contingents Existence of God Gottfried Wilhelm Leibniz God Modal logic
42	A necessity priority modal and its interaction with tense in Korean Bokyung Mun (Georgetown University) Previous literature has revealed that the interaction of a modal with tense or aspect forms often gives rise to some Add to Reading List Source URL: www.macsim.us Language: English - Date: 2013-04-02 10:13:09 Modality Philosophy Grammar Linguistics Grammatical moods Non-classical logic Philosophical logic Linguistic modality Semantics Modal logic Grammatical aspect Shall and will
43	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:11 Mathematics Logic Mathematical logic Logic programming Model theory Stable model semantics Modal logic FO Binomial coefficient
44	New Essays on Human Understanding Book IV: Knowledge G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been ad Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Logic Abstraction Philosophical logic Axiom Mathematical proof Maxims Self-evidence Truth Modal logic Foundations of geometry Law of thought
45	Quantitative Modal Transition Systems Kim Guldstrand Larsen Aalborg University, University Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Theoretical computer science Logic in computer science Bisimulation
46	Damage Assessment of Structure by the Reciprocal Theorem of Elastodynamics and the Frequency Domain Decomposition (FDD) Method Chung-Yue Wang, Che-Hau Chiang & Chin-Kuo Huang Department of Civil Engineering, National Cen Add to Reading List Source URL: www.cber.ncu.edu.tw Language: English - Date: 2015-03-26 01:45:12 Wave mechanics Physics Calculus Mechanics Acoustics Structural analysis Earthquake engineering Vibration Modal testing Modal analysis Curvature Modal logic
47	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
48	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
49	On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-10-31 23:07:37 Logic Mathematics Philosophy Lattice theory Data mining Formal concept analysis Machine learning Ontology Algebraic logic Boolean algebra Binary relation Modal logic
50	ESSENCE AND MODALITY Kit Fine Philosophy, NYU June, 1992; revised February, 1993 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Philosophical logic Modality Reality Logical truth Ancient Greek philosophers Two Dogmas of Empiricism Modal logic Meaning Truth Socrates Essentialism